Re ections on the Pentium Division

نویسنده

  • Hal Wasserman
چکیده

We review the eld of result-checking and suggest that it be extended to a methodology for enforcing hardware/software reliability. We thereby formulate a vision for \self-monitoring" hardware/software whose reliability is augmented through embedded suites of run-time correctness checkers. In particular, we suggest that embedded checkers and correctors may be employed to safeguard against arithmetic errors such as that which has bedeviled the Intel Pentium Microprocessor. We specify checkers and correctors suitable for monitoring the multiplication and division functionalities of an arbitrary arithmetic processor and seamlessly correcting erroneous output which may occur for any reason during the lifetime of the chip.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nonre ecting Boundary Conditions for Linear Hyperbolic Systems 1

Many compressible ow and aeroacoustic computations rely on accurate nonre ecting or radiation boundary conditions. When the equations and boundary conditions are discretized using a nite-di erence scheme, the dispersive nature of the discretized equations can lead to spurious numerical re ections not seen in the continuous boundary value problem. Here we construct discretely nonre ecting bounda...

متن کامل

Modeling re ections with an elastic screen method

This paper gives two versions of elastic screen method The wide angle version has a better accuracy while the small angle approximation is more e cient The accu racy of the re ectivity is discussed by comparing the analytical results from the screen method and those directly from plane wave re ections The accuracy of waveform is checked by comparing synthetic seis mograms from both screen metho...

متن کامل

Phase transition of KDP observed by Resonant X-ray Diffraction at forbidden reflections

We report observations of space-group-forbidden Bragg re ections in Potassium Dihydrogen Phosphate (KH2PO4), also known as KDP, measured by resonant x-ray di raction at the potassium K edge. We nd clear evidence for a transition from one class of space-groupforbidden re ections, where scattering is ruled out by the electric dipole approximation, to a second class, in the ferroelectric phase, wh...

متن کامل

3D Reconstruction of Skin Surface from Image Sequence

This paper proposes a new method for reconstruction a shape of skin surface replica from shading image sequence taken with di erent light source directions. Since the shading images include shadows caused by surface height uctuation, and specular and inter re ections, the conventional photometric stereo method is not suitable for reconstructing its surface accurately. In the proposed method, we...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995